61. LYaPAS: a programming language for logic and coding algorithms
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer algorithms,، Switching theory
Classification :
QA
76
.
5
.
L6313
62. LYaPAS: a programming language for logic and coding algorithms
Author: / Edited by M. A. Gavrilov and A. D. Zakrevskii. Translated by Morton Nadler
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages (Electronic computers),Computer algorithms,Switching theory
Classification :
QA76
.
5
.
L613
63. Language design and programming methodology : proceedings of a Symposium held in Sydney, Australia, 10-11 September, 1979
Author: edited by Jeffrey M. Tobias
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
79
64. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
Author: edited by Jeffrey M. Tobias
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
79
65. Logic at Botik '89: symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computers architecture,، Programming language )Electronic Computers(
Classification :
QA
75
.
5
.
B67
1989
66. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: (Semnan)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
67. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
Author: M. Main...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
298
68. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
69. Natural language at the computer: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
N38
.
S38
1988
70. PL/I programming: a manual of style
Author: Weinberg, Gerald M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، PL/I )Computer program language(,، Electronic digital computers-- Programming
Classification :
QA
76
.
5
.
W416
71. Parallel problem solving from nature - PPSN VI ;
Author: Marc Schoenauer [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
Classification :
QA76
.
58
.
C69
2000
72. Pl/i programming:a manual of style
Author: WEINBERG,GERALD M
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PL/I )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
Classification :
QA
76
.
5
.
W416
73. Principles of concurrent and distributed programming
Author: / M. Ben-Ari
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Parallel processing (Electronic computers),Electronic data processing - Distributed processing
Classification :
QA76
.
5
.
B393
1990
74. Principles of concurrent and distributed programming
Author: / M. Ben-Ari
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Parallel processing (Electronic computers),Electronic data processing - Distributed processing
Classification :
QA76
.
5
.
B393
1990
75. Principles of concurrent and distributed programming
Author: / M. Ben-Ari
Library: (South Khorasan)
Subject: Parallel processing (Electronic computers),Electronic data processing--Distributed processing
Classification :
QA76
.
5
B393
2006
76. Principles of concurrent programming
Author: / M. Ben-Ari
Library: Ilam University Central Library (Ilam)
Subject: Parallel processing (Electronic computers)
Classification :
QA76
.
6
.
B437
1982
77. Principles of concurrent programming
Author: / M. Ben-Ari
Library: Library of College of Science University of Tehran (Tehran)
Subject: Parallel processing (Electronic computers)
Classification :
QA
76
.
6
.
B437
1982
78. Principles of program design
Author: / M. A. Jackson
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming
Classification :
QA
76
.
6
.
J32
79. Principles of systems programming
Author: / Robert M. Graham
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Electronic digital computers - Programming
Classification :
QA76
.
6
.
G7
80. Programming and coding digital computers
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming
Classification :
QA
76
.
5
.
S46
